Analysis of Sorting Algorithms by Kolmogorov Complexity (A Survey)
نویسنده
چکیده
Recently, many results on the computational complexity of sorting algorithms were obtained using Kolmogorov complexity (the incompressibility method). Especially, the usually hard average-case analysis is ammenable to this method. Here we survey such results about Bubblesort, Heapsort, Shellsort, Dobosiewicz-sort, Shakersort, and sorting with stacks and queues in sequential or parallel mode. Especially in the case of Shellsort the uses of Kolmogorov complexity surprisingly easily resolved problems that had stayed open for a long time despite strenuous attacks.
منابع مشابه
ar X iv : c s . C C / 9 90 60 08 v 1 4 J un 1 99 9 Average - Case Complexity of Shellsort
We prove a general lower bound on the average-case complexity of Shellsort: the average number of data-movements (and comparisons) made by a p-pass Shellsort for any incremental sequence is Ω(pn) for every p. The proof method is an incompressibility argument based on Kolmogorov complexity. Using similar techniques, the average-case complexity of several other sorting algorithms is analyzed.
متن کاملAlgorithm Selection for Sorting and Probabilistic Inference : a Machine Learning - Based Approach
The algorithm selection problem aims at selecting the best algorithm for a given computational problem instance according to some characteristics of the instance. In this dissertation, we first introduce some results from theoretical investigation of the algorithm selection problem. We show, by Rice’s theorem, the nonexistence of an automatic algorithm selection program based only on the descri...
متن کاملA Survey on Kolmogorov Complexity
Kolmogorov complexity, which is also called algorithmic (descriptive) complexity is an object, such as a piece of text, to measure the computational resources needed, which are mostly the length of the shortest binary program to specify an object. Strings whose Kolmogorov complexity is small relative to the string’s size are not considered to be complex and easy to use a short program to specif...
متن کاملKolmogorov Incompressibility Method in Formal Proofs A Critical Survey
We compare the incompressibility method of Kolmogorov complexity that is used in formal proofs of mathematical and computational results with more traditional methods such as proofs by counting, proofs by probabilistic arguments and proofs by pumping lemmas for formal languages. We consider applications of Kolmogorov complexity in several diierent areas such as lower bounds, average case analys...
متن کاملA Survey of Adaptive Sorting Algorithms 2 CONTENTSINTRODUCTIONI
The design and analysis of adaptive sorting algorithms has made important contributions to both theory and practice. The main contributions from the theoretical point of view are: the description of the complexity of a sorting algorithm not only in terms of the size of a problem instance but also in terms of the disorder of the given problem instance; the establishment of new relationships amon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0905.4452 شماره
صفحات -
تاریخ انتشار 2003